منابع مشابه
Mathematical Logic
First of all, I would like to thank my supervisor, Petř Stěpánek, for showing me the fascinating world of mathematical logic and for his advice and many helpful comments on earlier drafts of this Thesis. Furthermore, I would like to thank Petr Horsk´y for numerous discussions on software verification and on this Thesis. Last but not least, I would like to thank Josef Urban for his advice he gav...
متن کاملMathematical Logic
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K , where K is the core model below a μ-measurable cardinal. 1. Homogeneously Souslin sets In this paper we shall deal with homogeneously Souslin sets of reals, or rather with sets of reals which admit an ω-closed embedding normal form. Definition 1.1. (Cf. [4, p. 92].) Let...
متن کاملMathematical Logic
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border induced by Danos-Regnier switchings. The type of a module is then defined as the double orthogonal of its pretype. This is an optimal notion describing the behaviour of a module: two modules behave in the same way precise...
متن کاملMathematical Logic
It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbert style. Moreover, it is proven that any truth-functional semantics whose connectives are interpreted in [0,1] by continuous functions is axiomatizable by a fuzzy deduction system (but not by an effective fuzzy deduction syste...
متن کاملMathematical Logic
We show that a strong form of the so called Lindström’s Theorem [4] fails to generalize to extensions of Lκω and Lκκ : For weakly compact κ there is no strongest extension of Lκω with the (κ, κ)-compactness property and the Löwenheim-Skolem theorem down to κ . With an additional set-theoretic assumption, there is no strongest extension of Lκκ with the (κ, κ)-compactness property and the Löwenhe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1977
ISSN: 0001-8708
DOI: 10.1016/0001-8708(77)90036-6